证明:∵∠1=∠2(已知)
∴a∥b(____)
∴∠3+∠5=180°(两直线平行,同旁内角互补)
又∵∠4=∠5(____)
∴∠3+∠4=180°(等量代换)
方程|x-12|+|1-x3|=0的解是( )