We study the problem of evaluating the creditworthiness of banks using statistical, as well as combinatorics, optimization and logic-based methodologies. We reverse-engineer the Fitch credit risk ratings of banks using ordered logistic regression and Logical Analysis of Data (LAD). It is shown that LAD provides the most accurate rating model. The obtained ratings are successfully cross-validate...