symbolic solution