touist: support Minisat DIMACS output (no v or V on beginning of line)
touist: support Minisat DIMACS output (no v or V on beginning of line)

FredMaris/touist,olzd/touist,FredMaris/touist,touist/touist,FredMaris/touist,touist/touist,olzd/touist,touist/touist,touist/touist,olzd/touist