Small progress in solver