changed writing/reading of problems line inside of dimacs files. "cnf" will be written in small letters (as Sat4J needs it).