Solving for a