brun -c '(softfork (q . 3121) (q . (+ 60 50)))'
cost = 3162
()
