brun -c '(all (q . 1) (q . 1) (q . 0))'
cost = 1161
()
