674.92/709.09	unsat
