写出满足如下要求的C++代码：分支限界法解决子集和数的问题，输入格式: 第一行为一个不超过200的正整数n，表示总集规模； 第二行是正整数M，表示子集的和数； 第三行是总集中n个正整数，中间用空格隔开。 输出格式: 如果有答案，则输出所有满足条件的子集（用可变长度数组表示符合条件的一个子集，子集中元素表示被选中的数值的下标）； 如果没有答案，则输出“no solution!”。

以下是满足要求的C++代码：

#include <iostream>
#include <vector>
#include <queue>
using namespace std;

struct Node {
    int index;  // 当前节点所在的下标
    int sum;    // 当前节点的和
    vector<int> path;   // 当前节点的路径，即已经选择的数的下标
    bool operator<(const Node& other) const {
        return sum < other.sum; // 用于优先队列的比较函数
    }
};

int main() {
    int n, M;
    cin >> n >> M;
    vector<int> nums(n);
    for (int i = 0; i < n; i++) {
        cin >> nums[i];
    }

    priority_queue<Node> q; // 优先队列
    q.push({-1, 0, {}});    // 将根节点加入队列
    bool found = false;     // 是否找到答案的标志

    while (!q.empty()) {
        Node node = q.top();
        q.pop();
        int index = node.index;
        int sum = node.sum;
        vector<int> path = node.path;

        if (index == n - 1) {  // 到达叶子节点
            if (sum == M) {    // 找到符合条件的解
                found = true;
                for (int i : path) {
                    cout << i << " ";
                }
                cout << endl;
            }
            continue;
        }

        index++;
        if (sum + nums[index] <= M) {   // 选择当前数
            vector<int> new_path = path;
            new_path.push_back(index);
            q.push({index, sum + nums[index], new_path});
        }
        q.push({index, sum, path});     // 不选择当前数
    }

    if (!found) {
        cout << "no solution!" << endl;
    }

    return 0;
}

该代码使用了优先队列，在搜索过程中，首先将根节点加入队列，然后每次从队列中取出当前最优的节点进行扩展。节点的优先级按照节点的和从小到大排序。在扩展节点时，先尝试选择当前数，如果选择当前数后仍然符合条件，则将新节点加入队列；然后再将不选择当前数的节点加入队列。当到达叶子节点时，判断是否符合条件，如果符合，则输出路径。最后，如果没有找到符合条件的解，则输出“no solution!”。