SuperfastSAT