infile_=infile.txt
constraint_=constraint.txt