first session on variable elimination 1014964