add variables and cuts
add variables and cuts
add variables and cuts
fixed segfault