Formal Synthesis of Platencin (Synfacts, 2009)