(이대희) 간단한 쉘 모델에서 볼트 체결 조건의 구현 및 검증