8.26/9.69	unsat
