FuMalik, Linear and FastDiag return correct maxsat constraints (with hard)