9 square root of 2