# No proof found in 8000037 steps (189704 steps/sec) using 1 engine (435 triples)