GRASP with path-relinking for the weighted maximum satisfability problem