There was a bug in validator program, and many wrong solutions got Accepted because of it. Besides, during investigation of this problem we decided to change the number in the inequality in the problem statement from 30 to 20. After the validator was fixed all submits were rejudged.