674.47/676.02	unsat
