Removing SAT temporarily.