해변에서 태닝을 하는 소들이 보기 흉한 화상을 입지 않으려면 각자 피부에 선크림을 발라야 한다. 소는 모두 $C$마리이며 ($1 \le C \le 2500$), 소 $i$는 자신에게 맞는 SPF 지수의 최솟값 $\text{minSPF}_i$와 최댓값 $\text{maxSPF}_i$를 가진다 ($1 \le \text{minSPF}_i \le 1000$, $\text{minSPF}_i \le \text{maxSPF}_i \le 1000$). SPF 지수가 너무 낮으면 소는 화상을 입고, 너무 높으면 전혀 태닝이 되지 않는다.
소들은 선크림 로션 $L$병을 가지고 있다 ($1 \le L \le 2500$). 병 $i$의 SPF 지수는 $\text{SPF}_i$이며 ($1 \le \text{SPF}_i \le 1000$), 이 병으로는 최대 $\text{cover}_i$마리의 소에게 로션을 발라 줄 수 있다. 각 소는 오직 한 병의 로션만 사용할 수 있다.
소 $i$가 병 $j$의 로션으로 보호받으려면 $\text{minSPF}_i \le \text{SPF}_j \le \text{maxSPF}_i$를 만족해야 한다. 주어진 로션으로 태닝하면서 보호받을 수 있는 소의 최대 마릿수는 얼마인가?
태닝하면서 보호받을 수 있는 소의 최대 마릿수를 정수 하나로 한 줄에 출력한다.