20 square root of 3