3 ms·Very good. Thought-termination achieved. Branch pruned. Back-tracking... Now where's my pony?by segfault99 10mo agoVery good. Thought-termination achieved. Branch pruned. Back-tracking... Now where's my pony?