715.63/718.03	unsat
