HACK-A-SAT 4