vid-018-mu-synthesis-example-problem