These solutions were taken from the official report on the IOI'92