Then $ x + 3 $ divisible by LCM(7,8)=56 → $ x = 56k - 3 $