7.91/8.05	unsat
