Error: Problem not found in database: -majority-element