used Pool to make to_cnf calls in parellel