7.58/7.80	unsat
