8.36/9.66	unsat
