brun -c '(softfork (q . 51) (q . (+ 60 50)))'
cost = 92
()
