【高斯消元】虫食算

题意：给出三个由大写字母组成的字符串，每个字母分别表示1-n中的一个数字，并要求满足s1+s2=s3（考虑进位）
分析：
暴力肯定是最直观的方法，复杂度N!，肯定是过不了的。（但就是有人加了剪枝就过了）
正解是高斯消元+暴力枚举
因为有进位问题，所以很容易想到暴力枚举进位，再通过高斯消元来验证。分析一下时间复杂度，暴力2^n-1（第一位不可能进位）*高斯n^3，绝对炸。
换个思路来看，我们可以将进位也看做变量，用高斯消元得出一部分解（方程数小于变量数，不可能解完），再枚举剩下的变量，同时check答案是否合法，因为数据保证有唯一解，所以一定可以枚举出一个合法的方案。高斯消元只需要做一次，复杂就变成2^n-1（枚举仍然是进位） + n^3，可以接受

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<climits>
#include<cstdlib>
#include<queue>
#include<cmath>
#define SF scanf
#define PF printf
#define MAXN 30
using namespace std;
int