8.97/10.69	unsat
