EXACT INFERENCE FOR FAMILY DISEASE CLUSTERS