593.66/596.02	unsat
