9.68/10.91	unsat
