8.39/11.66	unsat
