711.77/716.34	unsat
