# No proof found in 66 steps (6600000 steps/sec) using 1 engine (91 triples)