717.23/718.61	unsat
