bug in solver