corrected a bug in dimacs solution verification
basic triggered pushing