# No proof found in 59 steps (5894 steps/sec) using 1 engine (161 triples)