# Prob 5 - finding a general solution to a DE
x=var('x')
y=function('y',x)
DE=derivative(y,x,2)+derivative(y,x)-12*y==0
desolve(DE,y)