#include <iostream>
#include <algorithm>
#include <numeric>
#include <vector>
#include <string>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <stack>
#include <iomanip>
#include <functional>
#include <bitset>
#include <limits>
#include <cstdio>
#include <cmath>
#include <cassert>
#include <random>

#ifdef DEBUG
#include "library/Utility/debug.cpp"
#else
#define debug(...)
#endif

#define rep(i,n) for(int i=0;i<(n);++i)
#define EL '\n'
#define print(i) std::cout << (i) << '\n'
#define all(v) (v).begin(), (v).end()
using lnt = long long;
struct FIO{FIO(){std::cin.tie(0);std::ios_base::sync_with_stdio(0);std::cout<<std::fixed<<std::setprecision(15);}}fIO;
template<typename T> using V = std::vector<T>;
template<typename T> void fill(V<T>&v) { for(T&e:v) std::cin >> e; }
/*-*/

int main() {
	int n,m;
	std::cin >> n >> m;
	V<lnt> w(n);
	fill(w);
	std::map<lnt,lnt> map;
	lnt minload=1e18;
	rep(i,m) {
		lnt a,b;
		std::cin >> a >> b;
		map[b]=std::max(map[b],a);
		minload=std::min(minload,b);
	}
	rep(i,n) {
		if(w[i]>minload) {
			print(-1);
			return 0;
		}
	}
	V<std::pair<lnt,lnt> > v;
	v.emplace_back(0,0);
	for(auto e:map) v.emplace_back(e);
	{
		lnt max=0;
		int k=v.size();
		rep(i,k) {
			max=std::max(max,v[i].second);
			v[i].second=max;
		}
	}
	V<int> p(n);
	std::iota(all(p),0);
	lnt min=1e18;
	std::sort(all(w));
	do {
		V<V<std::pair<lnt,lnt> > > g(n);
		V<lnt> a(n);
		rep(i,n) a[i]=w[p[i]];
		V<lnt> ac(n+1,0);
		rep(i,n) ac[i+1]=ac[i]+a[i];
		rep(i,n) {
			for(int j=i+1;j<n;j++) {
				lnt x=ac[j+1]-ac[i];
				int l=-1,r=v.size();
				while(r-l>1) {
					int o=(l+r)>>1;
					if(v[o].first<x) l=o;
					else r=o;
				}
				g[i].emplace_back(j,v[l].second);
			}
		}
		auto dfs=[&](auto f, int i) -> lnt {
			lnt max=0;
			for(auto to:g[i]) {
				max=std::max(max,f(f,to.first)+to.second);
			}
			return max;
		};
		lnt x=dfs(dfs,0);
		min=std::min(min,x);
	} while(std::next_permutation(all(p)));
	print(min);
}

#include<bits/stdc++.h>
using namespace std;

#define ll long long int
#define endl '\n'
void testCase()
{
    //ll t; cin>>t; while(t--)
    {
       ll n,k;
       cin>>n>>k;
       ll s=101;
       ll e=n*100+k;
       ll ans=0;
       for(int i=e;i>=s;i--)
       {
       	if(i==(n*100))
       	{
       		i=(n-1)*100+k;
       		n--;
       	}
       ans+=i;
       }
       //ans+=i;
       cout<<ans;
       
    }
}


int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    cout.tie(NULL);
    testCase();
    return 0;
}