676.56/679.88	unsat
