Solutions by Kang-min Liu.