9.68/10.69	unsat
