x\equiv_54