Solves AOJ No. 0215-0223.