基于问题综合

synthesis based problem