77« a 87s b.