sqrt2.solution 39 Bytes