brun -c '(* ())'
cost = 137
()
