# No proof found in 61 steps (6100000 steps/sec) using 1 engine (168 triples)