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