711.57/713.30	unsat
