# No proof found in 8000044 steps (182303 steps/sec) using 1 engine (433 triples)