Error: Problem not found in database: find-maximum-value-in-a-constrained-sequence