Search Input
Variable Elimination
