672.64/676.44	unsat
