7.78/8.05	unsat
