/**

题目：hdu6003 Problem Buyer

链接：http://acm.hdu.edu.cn/showproblem.php?pid=6003

题意：给定n个区间，以及m个数，求从n个区间中任意选k个区间，满足m个数都能在k个区间中找到一个包含它的区间，如果一个区间包含了x，那么

该区间不能再去包含另一个数，即k>=m。求最小的k。如果不存在这样的k，输出“IMPOSSIBLE!”。

思路：贪心;

对n个区间，先左端点进行由小到大排序，然后右端点由大到小。对m个数由小到大排序。

对m个数进行枚举，设枚举数x，从排好序的区间左边开始找包含x的区间，放入优先队列q，那么队列里的都是包含x的区间，其他不包含它。

那么如果要满足题目要求，k>=n-q.size()+1;注意n-q.size()+1这个值不一定是该条件下m个数都能找到匹配区间的值，而是最少值。

因为剩下的n-q.size()不一定可以匹配所有的m-1个区间。可能有些数要匹配它的区间在q里面。不过没关系，只要这样进行下去，总会

找到一个最优值,详细证明，

大致说一下：

假设剩下的n-q.size()可以覆盖所有的m-1数，那么n-q.size()+1就是当前答案。

假设剩下的n-q.size()不可以覆盖所有的m-1数：

分两种情况。

1，剩下的某个数存在永远无法包含它的区间，那么可以解决，具体看代码，当为-1的时候，表示该数永远包含不到。

2，假设x个数在剩下的n-q.size()个区间无法包含，那么该x个数可以包含他们的区间在q里面。如果x+1>q.size()，那么-1，可以解决。

如果x+1<=q.size()。那么当前的n-q.size()+1不是当前答案，而是可能的至少值。随着向右进行（看代码），q.size()不断变化，总会存在一个最优的情况

使得q里面的区间只包含m正在枚举的这个数。

。具体看代码实现。

*/

#include<iostream>

#include<cstdio>

#include<algorithm>

#include<map>

#include<vector>

#include<queue>

#include<cstring>

using namespace std;

typedef pair<int,int> P;

typedef long long LL;

const int N = 1e5+;

const int INF = 0x3f3f3f3f;

struct node

{

    int l, r;

    bool operator < (const node&k)const{

        if(l==k.l) return r>k.r;

        return l<k.l;

    }

}t[N];

int c[N];

int main()

{

    int T, n, m;

    int cas = ;

    cin>>T;

    while(T--)

    {

        scanf("%d%d",&n,&m);

        for(int i = ; i < n; i++){

            scanf("%d%d",&t[i].l,&t[i].r);

        }

        for(int i = ; i < m; i++) scanf("%d",&c[i]);

        sort(t,t+n);

        sort(c,c+m);

        priority_queue<int, vector<int>, greater<int> > q;

        int pos = ;

        int ans = ;

        for(int i = ; i < m; i++){

            while(pos<n&&t[pos].l<=c[i]){

                if(t[pos].r>=c[i])

                    q.push(t[pos].r);

                pos++;

            }

            while(!q.empty()&&q.top()<c[i]) q.pop();

            if(q.empty()){

                ans = -; break;

            }

            ans = max(ans,n-(int)q.size()+);

            q.pop();

        }

        if(ans==-) printf("Case #%d: IMPOSSIBLE!\n",cas++);

        else printf("Case #%d: %d\n",cas++,ans);

    }

    return ;

}