8.39/10.83	unsat
