713.98/715.59	unsat
