3x\equiv_511