If I constrain a reference cell to binary (i.e. =binary), solver returns
fractional answers. I even added integer constraints to the cells and still
got fractional answers.