Problem: You are given two rectangles on a plane. The centers of both rectangles are located in the origin of coordinates (meaning the center of the rectangle's symmetry). The first rectangle's sides are parallel to the coordinate axes: the length of the side that is parallel to the Ox axis, equals w, the length of the side that is parallel to the Oy axis, equals h. The second rectangle can be obtained by rotating the first rectangle relative to the origin of coordinates by angle α.

<image>

Your task is to find the area of the region which belongs to both given rectangles. This region is shaded in the picture.

Input

The first line contains three integers w, h, α (1 ≤ w, h ≤ 106; 0 ≤ α ≤ 180). Angle α is given in degrees.

Output

In a single line print a real number — the area of the region which belongs to both given rectangles.

The answer will be considered correct if its relative or absolute error doesn't exceed 10 - 6.

Examples

Input

1 1 45


Output

0.828427125


Input

6 4 30


Output

19.668384925

Note

The second sample has been drawn on the picture above.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int main() {
  long long ww, hh;
  int a;
  double alpha;
  cin >> ww >> hh >> a;
  if (ww < hh) swap(ww, hh);
  double w = ww, h = hh;
  if (a > 90) a = 180 - a;
  if (a == 90) {
    double s = pow(min(ww, hh), 2);
    printf("%.9lf\n", s);
    return 0;
  } else if (a == 0) {
    double s = ww * hh;
    printf("%.9lf\n", s);
    return 0;
  }
  alpha = a * 3.1415926 / 180;
  double theta = atan(h / w);
  if (alpha <= 2 * theta) {
    double x2 = h - w * sin(alpha) / (cos(alpha) + 1);
    x2 /= ((cos(alpha) + 1) * (cos(alpha) + 1) - sin(alpha) * sin(alpha)) /
          (cos(alpha) + 1);
    double x1 = (w - x2 * sin(alpha)) / (cos(alpha) + 1);
    double s = w * h - x1 * cos(alpha) * x1 * sin(alpha) -
               x2 * cos(alpha) * x2 * sin(alpha);
    printf("%.9lf\n", s);
  } else {
    double s =
        w * h - h * (w - h / sin(alpha) - h / tan(alpha)) - h * h / tan(alpha);
    printf("%.9lf\n", s);
  }
}