9.17/10.69	unsat
