594.25/597.91	unsat
