Add test that a+b+c = 1000