FuMalik returns the list of MaxSAT constraints