Tweaked SAT classes