7.96/8.10	unsat
