Added function clearDbParamsPolarity().
+ using input_var_nums for creating SAT sample.