7.58/7.66	unsat
