looking for a bug in solver