atcoder: fix time