# data for satisfying minimum number of constraints problem m = 70; k = 58; n = 12; A = [[ 1.8 0.4 1. 2.2 1.9 -1. 1. -0.2 -0.1 0.4 0.1 1.5] [ 0.8 0.1 0.4 0.3 1.5 -0.2 0.3 -0.9 -2.6 0.7 0.9 -0.7] [ 2.3 -1.5 0. -0.2 1.5 1.5 0.2 0.4 -0.9 -2. -0.3 0.2] [ 1.2 1.2 -0.4 -0.3 -1. -1.4 -1.7 2. -0.5 -0.4 -1.3 0.8] [-1.6 -0.2 -0.9 0.4 -0.5 -1.2 -0. 0.4 0.1 0.3 -0.6 -0.4] [-0.7 -0.4 -0.8 -1.7 0.2 -0.4 -1.6 0.5 -0.9 0.1 0.7 0.1] [ 1.1 -1.2 0.4 -0.7 -0.9 -0.6 -0.3 0.1 -1.2 0.9 0.5 -1.5] [ 1.5 1.9 1.2 -0.2 -1.1 1.1 -0.4 1.2 0.2 1. 0.4 0.7] [ 0. 1.8 0.1 0.4 1.9 -1.3 -1.3 1. -1.2 1.9 -0.4 -0.7] [ 1.9 1.5 1.9 0.9 -0.9 1.9 -0.3 0.8 0.9 -0.2 0.6 0.9] [ 0.4 -1.1 0.3 1.3 -0.7 -0.1 -0.4 1.8 0.7 0.4 -0.8 0.5] [-0.7 0. -0.6 0.7 0.6 -0.2 0.4 -1.1 -1.5 0.4 0.2 0.6] [ 2.4 0.9 -0.9 1.1 -1.3 -0.5 -0.1 1.7 -0.7 -0.8 -0.1 -0.7] [ 1.1 -1.1 -1.1 -0.4 -0.5 1.9 0.9 0.1 -1.2 0.8 -1. -1.5] [ 1.2 0.3 0.9 0.3 0.9 -0.7 -1. 0.7 -0.8 -0.7 -0.5 0. ] [-0.4 -1.4 -0.6 -2.2 0.6 -1.6 -1.1 0.1 -0.7 1.5 -1.3 0.3] [-0. -1.2 0.5 -0.2 0.8 0.8 2.2 1.3 -0.4 -0.2 1.1 0.7] [ 0.6 -1.6 -0. -0.7 0.3 -0.1 0.9 0.3 0.8 -0.5 -0.9 -0.4] [-0. 0.4 2.3 -0. -1. -0.3 -0.5 0.5 -1.5 0.1 0.2 0.2] [-0.6 -0.2 -1.4 -0.5 -0.5 0.4 -1.2 0.8 1.5 -2.1 0.4 0.7] [-0.6 -0.4 -0.1 -0.3 -0.3 -1.7 1.2 1.1 -0.8 -1.5 0.5 -0.6] [ 0.1 -0.3 0.7 0.7 -0.7 -1.4 -1.6 0.6 -1.2 -0.5 -0.6 -0.1] [-1.9 0.2 0.5 0.1 -0.3 0.1 0.4 -2.8 2. 0.4 -0.7 -0.4] [ 0.5 -0.1 -2. 2.1 -0.1 1. -0.7 1.5 0.3 0.6 -1. 1.2] [ 0.7 1.3 -0.6 -0.5 2.3 -1.1 -0.1 1.1 0.1 0.6 -0.4 0.4] [-1.3 1.7 -0.1 -0.7 0.7 -0.5 -1.3 -1.3 0.7 -0.2 -0.1 1.1] [-1.1 -0.7 -0.4 0.1 -0. -0.3 -0.1 -0.1 -0.7 -0.8 0.3 -0.9] [-1.2 -0.3 -0.2 2.3 -0.7 0.9 0.7 -1.2 0.8 -1.2 -2.7 0.6] [-1.8 0.5 -0.7 1.7 1.1 -0.5 -0.7 -1.2 -0.4 -0.3 -0.4 0.2] [ 0.6 0.3 -0.8 -1.4 1.4 -0.7 -0.7 -0.5 -1.8 -0.5 -0.5 0.6] [ 0.7 0. 0.9 0.3 -0. 0.2 -0.2 -0.4 -0.3 -1.1 0.3 -1. ] [ 0.8 -0.2 0. 0.5 0.6 -1.6 -0.2 0.9 -1.7 0.4 -2.3 -1. ] [ 0. -1.7 -1. -1.5 1.6 0.2 0.6 -0.2 -0.4 -1.6 -0.3 -0.8] [ 0.9 1.1 1.5 0.9 -0.6 -1.1 0.8 0.4 -1.8 0.4 0.8 0.1] [-0.2 -0.8 -1.4 0.8 -0.3 -0.2 1.7 0.7 0.4 0.1 1.5 1.7] [ 0.9 0.6 -2.1 0.1 -0.1 0.1 0.9 -2.7 -0.6 0.3 -0.5 -1.4] [ 0.9 0.3 -1. 0.3 0.8 0. 0.8 0.1 -0.4 -1.2 -0.1 0.2] [ 0.9 -0.1 0.5 -1. -0.8 -0.1 -1.1 0.8 0.5 0.3 0.3 2. ] [-0.5 -2.2 0.2 -0.1 -0.5 -1. -0.4 0.2 -0.5 2.4 -1. -0.8] [-2.3 0.3 -2. -0.5 -0.3 -0.7 1.7 1. 1.3 -0.9 1.1 0.5] [ 0.8 1. -0.9 -0.4 0.9 -2.7 1.5 0.6 -0. 0.2 -1. -0.3] [ 1.1 1.3 2.7 -0.1 -0.7 -0.5 -1. -0.1 0.4 -0. 1.1 -0.2] [-0.3 -0.6 -1.6 -1.6 -1.2 1.3 0.9 1.4 -1.3 -2. -0.7 0.2] [ 0.5 1. 0.3 1.7 -0.2 -0.9 -1.7 -0.9 0.2 -0.9 0.9 1.4] [-2.4 0.9 -2.2 0.4 1.2 0.1 -1.3 -0.6 -0.3 -0.2 -0.2 -0.1] [ 0.2 -1.2 -0.2 1.5 -0.4 -0.4 1.1 -2.6 1.2 -0.6 0.2 0.1] [ 0.9 -0.3 -0.7 1.3 -2.4 0. -1.3 -0.8 2. -0. 0.2 -1.8] [-0.7 0.2 0.4 0.6 0. 0.5 0.5 -1.8 0. 0.8 0.6 -0.4] [-0.8 -1.1 -0.1 1.1 -2. -0.7 -1.1 0.8 -0.6 -0.5 -0.2 0.4] [-0.4 -3. 0.5 0.4 -0.2 -1.1 0.4 0.4 -0.5 -0.2 -0.9 -0.2] [-1.6 0.4 -0.9 0.2 -1.4 -0.6 -0.1 -1.7 0.1 -0.4 -1.7 -1.3] [ 0.6 0.9 -0.1 0.4 0.2 0.3 1.3 -1.5 0.7 -0.4 -0.2 -0.3] [-0.4 -1.2 0.2 1.7 -0.1 -0. -0.7 -0.1 0.5 -0.4 -0.5 0.4] [-0.9 0.3 0.8 1.4 -0.1 1.4 1. -1. -1.2 -0.3 1. -0.1] [-0.6 1.6 0.3 -2.3 0.3 0.5 0.2 0.4 -0.1 -1.3 -0.4 -0.9] [-0.9 -1.3 0.5 0.1 -0.4 -0.6 -0. 1.1 -2. 0.4 -0.5 -1.9] [-1.9 -0.9 0.2 0.4 -0.9 1. 1.4 0.4 -0.6 1.1 0.8 0.9] [-0.7 -2.8 2.1 -1.6 -0. 2.4 0.3 0.9 -1.5 -1.8 -0.5 1.1] [-0.3 -0.8 0.2 1.1 -1.4 -1.2 -0.8 1.1 0.2 2.1 0.9 -0. ] [ 1.3 0.2 -0.7 0.7 -0.7 -0.3 1.3 -0.1 -0.8 -0.5 1. -0.6] [-0.4 -0.5 0.2 -0.4 -1.6 -0.9 -0.9 1.2 0.8 0.6 -0.5 -0.8] [-0.5 -1.1 2.5 -2.2 0.6 -1.3 -0.1 -1. -1.2 -1.1 1.8 -0.1] [-0.8 0.6 0. 0.7 -1.8 0.3 0.8 -1.7 0.4 1.7 -0. 0.8] [ 0.7 -0.7 0. -1.6 -0.5 0.3 0.7 0. 0.7 -1.1 -0.1 0. ] [ 1.8 -0.2 -0.5 0. -0.9 0.2 -0.4 -1.8 -0.1 -0.3 -1.6 -0.1] [ 1.5 0.5 0.6 -1.3 0.5 0.1 0.5 0.4 -1.4 -0. -0.8 -0.1] [-0.9 1.3 -0.9 -0.9 0.1 -1.1 -0.4 -0.8 1.4 0.8 -0.1 -0.4] [ 0.9 0.4 0.5 -0. -1.7 -0.1 -0.5 0.6 1. -0.7 0.5 1.7] [-0.7 1.7 -0.9 0. -0. 0. -0.8 -0.6 -0.7 0.3 0.3 2.2] [ 1.4 -0.5 0.3 1. 0. -0.1 0.1 0.9 -0.8 -0.3 0.5 0.3]]; b = [ 1.7, 0.9, 0.6,-0.2, 0.5,-2. , 0.2,-0.9, 0.8,-0.2, 0.9, 0.6, 0.6, 1.2, 0.9,-0.4,-0.4, 0.7, 0.4,-2. ,-0.1, 1. , 0.9, 0.6,-0.2,-1.1, 0.3, 3.2, 1.2,-0.3, 0.7, 2.8,-0.1, 0.9,-1.4, 1.1, 0.3,-1.8, 1.3,-2. , 0.8,-0.4, -0.9,-0.3,-0.4, 1.3, 0.3, 0.5, 0.3, 1.6, 1.6, 0.8, 1.2, 0.9,-0.9, 1.5, -0.3, 0. ,-0.3, 0.3,-0.2,-1.3, 0.2,-0.8, 1.4, 0.5,-0.9,-1.4,-1.3, 0.4]; c = [ -2.5, 1.5, 4.7, -4. , 0.5, 5.9, 0.2, -0.9, 10.6, -1.2, 7.6, -3.6];