9.39/10.18	unsat
