drop the first restart mode

[shnarazk]

# 2017-12-29T10:40 mios-72; mios-1.6.1WIP#72 -- https://github.com/shnarazk/mios
"mios-72", 1, "itox",    28.86
"mios-72", 2, "m283",    88.54
"mios-72", 3, "38b",     32.77
"mios-72", 4, "44b",     386.90
# 2017-12-29T10:44 mios-73; mios-1.6.1WIP#72 #73 -- https://github.com/shnarazk/mios
"mios-73", 1, "itox",    26.65
"mios-73", 2, "m283",    82.64
"mios-73", 3, "38b",     33.53
"mios-73", 4, "44b",     334.70

[shnarazk]

# sat-benchmark 0.13.6, j=1, t=510, p='' on xingu @ 2017-12-29T11:27:50+09:00, init < 2^14
"mios-73", 1, "itox",    28.39
"mios-73", 2, "m283",    77.27
"mios-73", 3, "38b",     29.46
"mios-73", 4, "44b",     364.42