solve a DOWN-TO-UP elimination example