Abolishment of SAT