if (i < dVars.size()) {
variable = dVars.get(i++).getName();
model.addVariable(variable, value);
} else if (j < eVars.size()) {
variable = eVars.get(j++).getName();
model.addVariable(variable, value);
}
} else if (line.startsWith(hasSolutionPrefix)) {
String solStatus = line.trim().substring(hasSolutionPrefix.length());
if(solStatus.equals("yes")) {
hasSolution = true;