672.45/674.97	unsat
