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