Part of 2013 QEDMO 13th or 12th
Source: 12th or 13th QEDMO problem 1 (11. - 15. 12. 2013) https://artofproblemsolving.com/community/c2400093_2013_qedmo_13th_or_12th