Sorry, no position parsed for RS4-SAT...