671.87/674.88	unsat
