Solving unknown variables