5x-3=12-x quelle est solution