debugging solver