3SAT-Parser-problem commented (possibly 2013 vs. before-2013 is the problem)