c 1 PreSmoothing_1
c 2 PreSmoothing_2
c 3 PreSmoothing_3
c 4 PreSmoothing_4
c 5 PostSmoothing_1
c 6 PostSmoothing_2
c 7 PostSmoothing_3
c 8 PostSmoothing_4
c 9 Cores_1
c 10 Cores_2
c 11 IPCG boolean
c 12 CGS boolean
c 13 REDAMG boolean
c 14 IPAMG boolean
c 15 Jac boolean
c 16 Smoother boolean
c 17 GS boolean
c 18 GSAC boolean
c 19 RBGS boolean
c 20 RBGSAC boolean
c 21 BS boolean
p cnf 21 16