unsat_drainge balanced