594.16/601.20	unsat
