7.58/8.66	unsat
