catalans problem