592.08/595.73	unsat
