solving using Node .. codesolving using Thevenin equivalent
Solving the node equations yields:
Using the Thevenin equivalent (and voltage divider) to compute voltage across the 12 ohm resistor:
So they match ...
Thevenin voltage and resistance can not be computed from a node analysis of the entire circuit, but the node analysis of the entire circuit can be used to check if the thevenin equivalent produces the same numbers.