>> solve(C) ans = 3