7.97/8.05	unsat
