输入
2 2
1 2
2 1
输出
1
说明
选择第二个符卡，消耗为2，是2的倍数。威力是1。

输入
2 2
1 2
2 1
输出
1
说明
选择第二个符卡，消耗为2，是2的倍数。威力是1。

输入
3 4
1 2
5 3
1 4
输出
-1
说明
显然，无论如何都组合不出消耗为4的倍数的魔法。

这不是一般的01背包（虽然一般的01背包我也不会呜呜呜）

官方题解：

 

#include<bits/stdc++.h>
using namespace std;
#define INF 0x3f3f3f3f
typedef pair<int, int> PII;
const double pi = acos(-1.0);
#define rep(i, n) for (int i = 1; i <= (n); ++i)
#define rrep(i, n) for (int i = n; i >= (1); --i)
typedef long long ll;
#define sqar(x) ((x)*(x))

const int N = 1100;
ll a[N], b[N];
ll dp[N][N];
//这个题不能写成一维，因为j是余数，而随着j增加关于k的余数并不是单调的，所以必须引入i来表示这一轮与前一轮
int main(){
    int n, k;
    cin >> n >> k;
    rep(i, n) cin >> a[i] >> b[i];
//初始化为非常小的值，因为每一轮dp，就算是空的也会加上一个值，但是必须有与其契合的数存在才能得到对应的答案
//eg.j是4，a[i]是1，那么dp[i][j]可能会更新为dp[i][3] + a[i]，但如果dp[i][3]本身不存在，那么其实这个结果也是不存在的
    for(int i = 0; i <= n; i++) for(int j = 0; j <= k; j++) dp[i][j] = -1e16;
//前0件物品，显然取到的最大威力为0。此时消耗魔力模p等于0
    dp[0][0] = 0;
    rep(i, n) for(int j = 0; j < k; j++){
        dp[i][j] = max(dp[i - 1][j], dp[i - 1][(j - a[i] % k + k) % k] + b[i]); //分别为取和不取两种情况，取最大值
    }
// for(int i = 0; i < k; i++) cout << dp[n][i] << " ";
    if(dp[n][0] > 0) cout << dp[n][0];
    else cout << -1;
    return 0;
}