Part of 1996 Romania Team Selection Test
Source: Romanian IMO Team Selection Test TST 1996, problem 15