7.95/8.05	unsat
