I think we have to assume 80x40 in the “baseline” case