Picat: more model