Search: Two tetrahedral dice are thrown;