suboptimal-synthesis