709.08/709.86	unsat
