REactive search: a history-based search for MAX-SAT