Phase Transitions in Random Negative Two-Literal Logic Programs