9.47/9.66	unsat
