#include<bits/stdc++.h>
using namespace std;
const int maxn=100+10;
vector <int> ver;
int inf=1e9+7;
int n,ans=-inf;
int vis[maxn],l[maxn],r[maxn],w[maxn];
struct edge
{
    int next,to,v;
};
struct dinic_mf
{
    edge e[10005];
    queue <int> Q;
    int last[125],dep[125],poi[125],tot=1,S,T;
    void init() { memset(last,0,sizeof(last)); tot=1; }
    void Addedge(int from,int to,int v)
    {
        e[++tot].to=to;
        e[tot].v=v;
        e[tot].next=last[from];
        last[from]=tot;

        e[++tot].to=from;
        e[tot].v=0;
        e[tot].next=last[to];
        last[to]=tot;
    }
    bool bfs()
    {
        memset(dep,0,sizeof(dep));
        while(Q.size()) Q.pop();
        Q.push(S); dep[S]=1;
        poi[S]=last[S];
        while(Q.size())
        {
            int tx=Q.front(); Q.pop();
            for(int i=last[tx];i;i=e[i].next)
            {
                int u=e[i].to;
                if(e[i].v!=0&&!dep[u])
                {
                    Q.push(u);
                    dep[u]=dep[tx]+1;
                    poi[u]=last[u];
                }
            }
        }
        return dep[T];
    }
    int dinic(int x,int flow)
    {
        if(x==T) return flow;
        int rest=flow,tmp;
        for(int i=poi[x];i&&rest;i=e[i].next)
        {
            poi[x]=i;
            int u=e[i].to;
            if(e[i].v!=0&&dep[u]==dep[x]+1)
            {
                tmp=dinic(u,min(rest,e[i].v));
                if(!tmp) dep[u]=0;
                e[i].v-=tmp;
                e[i^1].v+=tmp;
                rest-=tmp;
            }
        }
        return flow-rest;
    }
    int cal(int from,int to)
    {
        S=from; T=to;
        int flow=0,maxflow=0;
        while(bfs())
        {
            while(flow=dinic(S,inf)) maxflow+=flow;
        }
        return maxflow;
    }
}G;
void dfs(int x,int y){
    if(x==0){
        int val=0;
        for(auto u:ver){
            val+=w[u];
        }
        if(val<ans) return;
        G.init();
        for(int i=1;i<=n;i++){
            G.Addedge(0,i,1);
        }
        for(int i=1;i<=n;i++){
            for(int j=0;j<ver.size();j++){
                if(l[i]<=ver[j]&&ver[j]<=r[i]){
                    G.Addedge(i,n+1+j,1);
                }
            }
        }
        for(int i=0;i<ver.size();i++){
            G.Addedge(n+1+i,n+1+ver.size(),ver[i]);
        }
        int mxflow=G.cal(0,n+1+ver.size());
        if(mxflow==n){
            ans=max(ans,val);
        }
        return;
    }
    for(int i=1;i<=min(x,y);i++){
        ver.push_back(i);
        dfs(x-i,i);
        ver.pop_back();
    }
}
signed main(){
    ios::sync_with_stdio(0); cin.tie(0);
    cin>>n;
    for(int i=1;i<=n;i++){
        cin>>l[i]>>r[i];
        for(int j=l[i];j<=r[i];j++){
            vis[j]++;
        }
    }
    for(int i=1;i<=n;i++){
        cin>>w[i];
    }
    dfs(n,100);
    if(ans==-inf) cout<<"impossible\n";
    else cout<<ans<<"\n";
    return 0;
}