# No proof found in 1 step (100000 steps/sec) using 1 engine (33 triples)