676.19/679.80	unsat
