How do you solve the system #6x^2-5x+8y^2+y=23# and #y=x-1#?