Formal Synthesis of Haouamine A (Synfacts, 2009)