#include <stdio.h>
#include <math.h>

void main ()
{
  stdio:print ("%f" "\n", math:sqrt (2));
}