IMO 1996
Solutions