This is QMaxSAT0.2c-pck1 based on glucose2.0
using parallel counter for encoding cardinaltiy constraints.