692.35/695.73	unsat
