8.47/9.69	unsat
