29.73/33.05	unsat
