Part of 2012 QEDMO 11th
Source: 11th QEDMO p6 Seniors (6-8. 12. 2012) https://artofproblemsolving.com/community/c1512515_qedmo_200507