Abduction

New Benchmark