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