three times the smaller of two consecutive integers is added to four times the larger , the result is 67 . find the smaller integer .
from sympy import *
x = symbols('x')
answer = solve([Eq(3.0*x+4.0*(x+1.0), 67.0)])
print(answer)
