28.55/29.05	unsat
