x+5≡8(mod6)