解方程真的无解吗