who is the basketball coach with 12 playoff losses throughout his career?
(AND basketball.basketball_coach (JOIN basketball.basketball_coach.playoff_losses 12^^http://www.w3.org/2001/XMLSchema#integer))