International solving grandmaster