주52시간 근무제의 경우 '일 8시간 40시간의 기본근무시간 + 12시간 연장근무 시간'으로 나뉘어져 있는걸로 알고 있습니다. 여기서 연장근무시간은 주휴수당 8시간을 포함한 시간인가요? 예를 들어 월~금 주5일 근무제인 경우 1. 월~금요일(5일) 08시~17시 8시간 주당 40시간 월,화,목,금(4일) 17시~20시 3시간 주당 12시간 으로 주 52시간 근무 2. 월~금요일(5일) 08시~17시 8시간 주당 40시간 월,화,목,금(4일) 17시~18시 1시간 주당 4시간+ 주휴 8시간 으로 주 52시간 근무 어느 것이 맞는 건가요?