711.64/713.26	unsat
