593.39/594.59	unsat
