Sorry, no position parsed for SQ2SAT/P...