676.03/680.57	unsat
