592.76/594.02	unsat
