fix(util/box.cc): Print "True"/"False" for BOOLEAN variables
fix(util/box.cc): Print "True"/"False" for BOOLEAN variables

dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4