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>
#pragma comment(linker, "/STACK:128000000")
using namespace std;
const long double PI = 3.14159265358979323846;
const long double gammama = 0.57721566490153286060;
const long double eps = 1e-5;
const int INF = 1000 * 1000;
int main() {
  int w, h, alpha;
  cin >> w >> h >> alpha;
  if (alpha > 90) alpha = 180 - alpha;
  double alpha0 = min(2 * atan((double)(h) / w), 2 * atan((double)(w) / h));
  double a = PI * alpha / 180;
  double res = 0.0;
  if (a < alpha0) {
    double a1 = 1.0 + 1.0 / cos(a), b1 = sin(a);
    double a2 = tan(a), b2 = 1.0 + cos(a);
    double c1 = w, c2 = h;
    double det = a1 * b2 - a2 * b1;
    double det1 = c1 * b2 - c2 * b1;
    double det2 = a1 * c2 - a2 * c1;
    double x = det1 / det;
    double y = det2 / det;
    res = (double)w * h - x * x * tan(a) - y * y * sin(a) * cos(a);
  } else {
    double x = min(h, w);
    res = x * x / sin(a);
  }
  printf("%0.10f\n", res);
  return 0;
}