#include <iostream>
using namespace std;

int main() {
    const int num = 250;
    unsigned long long nums;
    int x,n;
    cin >> x >> n;
    for (n;n>0;n--,x++){
        if(x==6 || x==7){
            if(x==7){
                x=0;
            }
            continue;
        }
        nums += num;
    }
    std::cout << nums;

    return 0;
}

我使用的两个测试数据

3 10
2000

7 543543
97061250