a+b>c就有解