resultant(a^3+3b^3+9c^3+18abc+22, a^2c+ab^2+3bc^2-3, a)