9.29/9.66	unsat
