7.58/7.96	unsat
