674.37/677.00	unsat
