Tagged: SAT to be redesigned