Fix parsing of SAT result