Part of 2009 QEDMO 6th
Source: 6th QEDMO problem 8 (22. - 29. 8. 2009) https://artofproblemsolving.com/community/c1512515_qedmo_200507