20.10 STRIPS 문제 인스턴스의 형식적 정의: 초기 상태와 목표 상태