clauseNew: fix the initial blocker values

[shnarazk]

solver, num, target, time
# sat-benchmark 0.13.3, j=1, t=1260, p='' on xingu @ 2017-11-12T22:26:14+09:00
# 2017-11-12T19:37 mios-WIP; mios-1.5.0WIP #52
"mios-WIP", 1, 175,      3.86
"mios-WIP", 2, 200,      11.82
"mios-WIP", 3, 225,      33.53
"mios-WIP", 4, 250,      82.37
"mios-WIP", 5, "itox",   14.31
"mios-WIP", 6, "m283",   41.66
"mios-WIP", 7, "38b",    47.46
"mios-WIP", 8, "44b",    58.96
# 2017-11-12T19:36 mios-53; mios-1.5.0WIP #53
"mios-53", 1, 175,       3.95
"mios-53", 2, 200,       11.78
"mios-53", 3, 225,       34.03
"mios-53", 4, 250,       82.12
"mios-53", 5, "itox",    24.02
"mios-53", 6, "m283",    39.62
"mios-53", 7, "38b",     8.32
"mios-53", 8, "44b",     146.67

[shnarazk]

[shnarazk]