Design synthesis exercise 2011