Unknown variable and formula computation