8.9+1.7x=31