Why Does Sat Have Negative Marking