Update input.txt

add some inequalities