Picat: Some more mip models