SnarkNews on IOI-2017