something weird with a problem's rating
so this problem has a rating of 1700 but had only 250 official div. 2 solves?? normally problems like this are rated 2100-2300.
kinda weird imo