676.03/679.72	unsat
