solve[{a^2+b^2+a*b=9},{b^2+c^2+b*c=16},{c^2+a^2+c*a=25},{t=a+b+c},{a>0},{b>0},{c>0}]