Parsing qfnra-nlsat output