8.97/10.66	unsat
