TSTP If you wanna go fast