Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation