1324.32 동시 도착 제약의 형식화