Sorry, no position parsed for SQ2SAT-9...