Very difficult, takes many hours (took ~ 9 hours 32 minutes on an AMD 4000+ dual core, openSuse 11.2, in a simulation).

Has a warning about using not perfect constraints. Click OK.