7.81/9.69	unsat
