Sorry, no position known for SQ2SAT/P