7.96/8.05	unsat
