86+x=7(x-12)解方程,并验算