select each constraint one variable for multiple test cases, evaluate decomposed boxes using IA and testing, the boxes with smaller number of UNSAT constraints will be selcted