SMTGadget is very slow. Simple bruteforce might work better...
SMTGadget is very slow. Simple bruteforce might work better...