解放程:(1)5x+12=8x-15