691.40/692.72	unsat
