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