solve ABT using abtKernel algorithm