677.45/679.50	unsat
