717.86/718.80	unsat
