prob010: Added social_golfers1.mzn social_golfers1.pi social_golfers1.pl social_golfers2.pi social_golfers2.pl