naive variable elimination....
naive variable elimination solved