MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus