已知abc满足a b-2