Resolve to lower problem