Fixed variable and constraint type
Added test6.txt