7.58/9.52	unsat
