592.11/594.95	unsat
