10.03 - Binary VLE using Raoult's Law