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