removes extraneous newline from maxwalksat report