Kill-Kill-Faster-Faster-smt