6.28/8.05	unsat
