가상 검증 기술
면접 대비시간 제한1초메모리 제한1024 MB
두 연구원이 모델 A와 B의 검증 시뮬레이션을 나눠 맡고, 선임만 B를 실행할 수 있을 때 전체 작업을 끝내는 최소 시간을 구합니다.
문제

현대오토에버의 가상 검증 기술은 차량, 시스템, 제어기를 가상화하고 가상 주행 환경과 검증 도구를 제공하여, 기능별 검증, 기능 간 연계 검증, 시스템 단위 검증을 하드웨어 없이 가상으로 진행할 수 있게 하는 기술이다. 가상 검증은 조기 검증으로 품질을 확보하고, 실제로는 검증하기 어려운 악조건을 시뮬레이션으로 확인하게 한다. 차량의 컴퓨팅 복잡도가 높아지는 SDV 시대에는 가상 검증이 기존과 다른 차원의 SW 품질 리스크를 고려하여 차량의 안정성과 성능을 확보하는 효과적인 방법이다.
현대오토에버의 숙련 연구원 도훈이와 신입 연구원 상혁이는 차종 와 의 가상 검증 업무를 맡고 있다. 차종 와 의 가상 검증 시뮬레이션을 1회 수행하는 데 각각 , 의 시간이 걸린다. 차종 와 에서 테스트가 필요한 가상 검증 항목은 각각 개, 개이며, 가상 검증 시뮬레이션 한 번으로 항목 하나를 테스트할 수 있다.
도훈이는 차종 와 의 가상 검증을 모두 수행할 수 있다. 상혁이는 차종 의 가상 검증만 수행할 수 있다. 두 사람은 한 번에 하나의 가상 검증 시뮬레이션을 수행할 수 있고, 같은 가상 검증 항목을 둘이서 동시에 시뮬레이션할 수 없다. 시뮬레이션을 마친 뒤 다음 시뮬레이션을 준비하는 데 걸리는 시간은 없다고 가정한다. 또한 가상 검증 시뮬레이션은 수행 도중 중단할 수 없다.
두 차종의 가상 검증 시뮬레이션을 모두 마치면 업무를 완료한 것이다. 도훈이와 상혁이가 가상 검증 업무를 완료하는 데 걸리는 시간의 최솟값을 구하라.
입력
첫 번째 줄에 테스트 케이스의 수 가 주어진다.
두 번째 줄부터 각 테스트 케이스마다 한 줄에 , , , 가 공백으로 구분되어 주어진다. 와 는 차종 , 의 시뮬레이션 1회 수행 시간이고, 와 는 차종 , 의 가상 검증 항목 수이다.
출력
각 테스트 케이스마다 한 줄에 하나씩, 가상 검증 업무를 완료하는 데 걸리는 시간의 최솟값을 출력한다.