- : unit = ()
- : unit = ()
h : heuristic = <heuristic>
- : unit = ()
NOT SOLVED
No proof found
Cime worked for 0.000747 seconds (real time)
Cime Exit Status: 0