: 6
satgenerator 3
mac_2b 2
chuwash5 1