9.39/10.31	unsat
