8.90/10.69	unsat
