7.96/8.12	unsat
