solve a problem in atcoder