SAT works with only AltSTD