Added problem definition at the top