711.84/716.34	unsat
