대체적으로 견치돌(四角石)의 크기에서 뒷길이는 앞면 길이의 얼마로 하는가?