7.58/8.12	unsat
