Fixed bug on comments during dimacs input.
Added test case for bug on input.
Merge branch 'master' into satelite