Error: Problem not found in database: array-flat-method