AtCoder Beginner G problems upsolving