#include #include void main() { printf( "%f\n", sqrt(.5) ); }