xyz空間において円柱x^2+y^2=1の側面に半径1の円形のシールを貼り付ける。
シールの周上の点のうちz座標が等しい点同士を直線で
結んでできる曲面とシールに囲まれる部分の体積を求めよ。