674.26/678.64	unsat
