Problem statement was updated: "a0 ≠ 0" was added.
Validator was corrected.
Submissions made during contest and after contest have been rejudged.