Unknown variable and equation solving