./c=0.1t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.1_s1.csp ./c=0.1t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.1_s2.csp ./c=0.1t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.1_s3.csp ./c=0.1t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.1_s4.csp ./c=0.1t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.1_s5.csp ./c=0.1t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.1_s6.csp ./c=0.1t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.1_s7.csp ./c=0.1t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.1_s8.csp ./c=0.1t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.1_s9.csp ./c=0.1t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.1_s10.csp ./c=0.1t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.1_s11.csp ./c=0.1t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.1_s12.csp ./c=0.1t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.1_s13.csp ./c=0.1t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.1_s14.csp ./c=0.1t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.1_s15.csp ./c=0.1t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.1_s16.csp ./c=0.1t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.1_s17.csp ./c=0.1t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.1_s18.csp ./c=0.1t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.1_s19.csp ./c=0.1t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.1_s20.csp ./c=0.1t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.1_s21.csp ./c=0.1t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.1_s22.csp ./c=0.1t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.1_s23.csp ./c=0.1t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.1_s24.csp ./c=0.1t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.1_s25.csp ./c=0.1t=0.2/00.solvable.mf_v30_d5_c_t0.2_c0.1_s1.csp ./c=0.1t=0.2/01.solvable.mf_v30_d5_c_t0.2_c0.1_s2.csp ./c=0.1t=0.2/02.solvable.mf_v30_d5_c_t0.2_c0.1_s3.csp ./c=0.1t=0.2/03.solvable.mf_v30_d5_c_t0.2_c0.1_s4.csp ./c=0.1t=0.2/04.solvable.mf_v30_d5_c_t0.2_c0.1_s5.csp ./c=0.1t=0.2/05.solvable.mf_v30_d5_c_t0.2_c0.1_s6.csp ./c=0.1t=0.2/06.solvable.mf_v30_d5_c_t0.2_c0.1_s7.csp ./c=0.1t=0.2/07.solvable.mf_v30_d5_c_t0.2_c0.1_s8.csp ./c=0.1t=0.2/08.solvable.mf_v30_d5_c_t0.2_c0.1_s9.csp ./c=0.1t=0.2/09.solvable.mf_v30_d5_c_t0.2_c0.1_s10.csp ./c=0.1t=0.2/10.solvable.mf_v30_d5_c_t0.2_c0.1_s11.csp ./c=0.1t=0.2/11.solvable.mf_v30_d5_c_t0.2_c0.1_s12.csp ./c=0.1t=0.2/12.solvable.mf_v30_d5_c_t0.2_c0.1_s13.csp ./c=0.1t=0.2/13.solvable.mf_v30_d5_c_t0.2_c0.1_s14.csp ./c=0.1t=0.2/14.solvable.mf_v30_d5_c_t0.2_c0.1_s15.csp ./c=0.1t=0.2/15.solvable.mf_v30_d5_c_t0.2_c0.1_s16.csp ./c=0.1t=0.2/16.solvable.mf_v30_d5_c_t0.2_c0.1_s17.csp ./c=0.1t=0.2/17.solvable.mf_v30_d5_c_t0.2_c0.1_s18.csp ./c=0.1t=0.2/18.solvable.mf_v30_d5_c_t0.2_c0.1_s19.csp ./c=0.1t=0.2/19.solvable.mf_v30_d5_c_t0.2_c0.1_s20.csp ./c=0.1t=0.2/20.solvable.mf_v30_d5_c_t0.2_c0.1_s21.csp ./c=0.1t=0.2/21.solvable.mf_v30_d5_c_t0.2_c0.1_s22.csp ./c=0.1t=0.2/22.solvable.mf_v30_d5_c_t0.2_c0.1_s23.csp ./c=0.1t=0.2/23.solvable.mf_v30_d5_c_t0.2_c0.1_s24.csp ./c=0.1t=0.2/24.solvable.mf_v30_d5_c_t0.2_c0.1_s25.csp ./c=0.1t=0.3/00.solvable.mf_v30_d5_c_t0.3_c0.1_s1.csp ./c=0.1t=0.3/01.solvable.mf_v30_d5_c_t0.3_c0.1_s2.csp ./c=0.1t=0.3/02.solvable.mf_v30_d5_c_t0.3_c0.1_s3.csp ./c=0.1t=0.3/03.solvable.mf_v30_d5_c_t0.3_c0.1_s4.csp ./c=0.1t=0.3/04.solvable.mf_v30_d5_c_t0.3_c0.1_s5.csp ./c=0.1t=0.3/05.solvable.mf_v30_d5_c_t0.3_c0.1_s6.csp ./c=0.1t=0.3/06.solvable.mf_v30_d5_c_t0.3_c0.1_s7.csp ./c=0.1t=0.3/07.solvable.mf_v30_d5_c_t0.3_c0.1_s8.csp ./c=0.1t=0.3/08.solvable.mf_v30_d5_c_t0.3_c0.1_s9.csp ./c=0.1t=0.3/09.solvable.mf_v30_d5_c_t0.3_c0.1_s10.csp ./c=0.1t=0.3/10.solvable.mf_v30_d5_c_t0.3_c0.1_s11.csp ./c=0.1t=0.3/11.solvable.mf_v30_d5_c_t0.3_c0.1_s12.csp ./c=0.1t=0.3/12.solvable.mf_v30_d5_c_t0.3_c0.1_s13.csp ./c=0.1t=0.3/13.solvable.mf_v30_d5_c_t0.3_c0.1_s14.csp ./c=0.1t=0.3/14.solvable.mf_v30_d5_c_t0.3_c0.1_s15.csp ./c=0.1t=0.3/15.solvable.mf_v30_d5_c_t0.3_c0.1_s16.csp ./c=0.1t=0.3/16.solvable.mf_v30_d5_c_t0.3_c0.1_s17.csp ./c=0.1t=0.3/17.solvable.mf_v30_d5_c_t0.3_c0.1_s18.csp ./c=0.1t=0.3/18.solvable.mf_v30_d5_c_t0.3_c0.1_s19.csp ./c=0.1t=0.3/19.solvable.mf_v30_d5_c_t0.3_c0.1_s20.csp ./c=0.1t=0.3/20.solvable.mf_v30_d5_c_t0.3_c0.1_s21.csp ./c=0.1t=0.3/21.solvable.mf_v30_d5_c_t0.3_c0.1_s22.csp ./c=0.1t=0.3/22.solvable.mf_v30_d5_c_t0.3_c0.1_s23.csp ./c=0.1t=0.3/23.solvable.mf_v30_d5_c_t0.3_c0.1_s24.csp ./c=0.1t=0.3/24.solvable.mf_v30_d5_c_t0.3_c0.1_s25.csp ./c=0.1t=0.4/00.solvable.mf_v30_d5_c_t0.4_c0.1_s1.csp ./c=0.1t=0.4/01.solvable.mf_v30_d5_c_t0.4_c0.1_s2.csp ./c=0.1t=0.4/02.solvable.mf_v30_d5_c_t0.4_c0.1_s3.csp ./c=0.1t=0.4/03.solvable.mf_v30_d5_c_t0.4_c0.1_s4.csp ./c=0.1t=0.4/04.solvable.mf_v30_d5_c_t0.4_c0.1_s5.csp ./c=0.1t=0.4/05.solvable.mf_v30_d5_c_t0.4_c0.1_s6.csp ./c=0.1t=0.4/06.solvable.mf_v30_d5_c_t0.4_c0.1_s7.csp ./c=0.1t=0.4/07.solvable.mf_v30_d5_c_t0.4_c0.1_s8.csp ./c=0.1t=0.4/08.solvable.mf_v30_d5_c_t0.4_c0.1_s9.csp ./c=0.1t=0.4/09.solvable.mf_v30_d5_c_t0.4_c0.1_s10.csp ./c=0.1t=0.4/10.solvable.mf_v30_d5_c_t0.4_c0.1_s11.csp ./c=0.1t=0.4/11.solvable.mf_v30_d5_c_t0.4_c0.1_s12.csp ./c=0.1t=0.4/12.solvable.mf_v30_d5_c_t0.4_c0.1_s13.csp ./c=0.1t=0.4/13.solvable.mf_v30_d5_c_t0.4_c0.1_s14.csp ./c=0.1t=0.4/14.solvable.mf_v30_d5_c_t0.4_c0.1_s15.csp ./c=0.1t=0.4/15.solvable.mf_v30_d5_c_t0.4_c0.1_s16.csp ./c=0.1t=0.4/16.solvable.mf_v30_d5_c_t0.4_c0.1_s17.csp ./c=0.1t=0.4/17.solvable.mf_v30_d5_c_t0.4_c0.1_s18.csp ./c=0.1t=0.4/18.solvable.mf_v30_d5_c_t0.4_c0.1_s19.csp ./c=0.1t=0.4/19.solvable.mf_v30_d5_c_t0.4_c0.1_s20.csp ./c=0.1t=0.4/20.solvable.mf_v30_d5_c_t0.4_c0.1_s21.csp ./c=0.1t=0.4/21.solvable.mf_v30_d5_c_t0.4_c0.1_s22.csp ./c=0.1t=0.4/22.solvable.mf_v30_d5_c_t0.4_c0.1_s23.csp ./c=0.1t=0.4/23.solvable.mf_v30_d5_c_t0.4_c0.1_s24.csp ./c=0.1t=0.4/24.solvable.mf_v30_d5_c_t0.4_c0.1_s25.csp ./c=0.1t=0.5/00.solvable.mf_v30_d5_c_t0.5_c0.1_s1.csp ./c=0.1t=0.5/01.solvable.mf_v30_d5_c_t0.5_c0.1_s2.csp ./c=0.1t=0.5/25.solvable.mf_v30_d5_c_t0.5_c0.1_s26.csp ./c=0.1t=0.5/03.solvable.mf_v30_d5_c_t0.5_c0.1_s4.csp ./c=0.1t=0.5/04.solvable.mf_v30_d5_c_t0.5_c0.1_s5.csp ./c=0.1t=0.5/05.solvable.mf_v30_d5_c_t0.5_c0.1_s6.csp ./c=0.1t=0.5/06.solvable.mf_v30_d5_c_t0.5_c0.1_s7.csp ./c=0.1t=0.5/26.solvable.mf_v30_d5_c_t0.5_c0.1_s27.csp ./c=0.1t=0.5/07.solvable.mf_v30_d5_c_t0.5_c0.1_s8.csp ./c=0.1t=0.5/27.solvable.mf_v30_d5_c_t0.5_c0.1_s28.csp ./c=0.1t=0.5/08.solvable.mf_v30_d5_c_t0.5_c0.1_s9.csp ./c=0.1t=0.5/09.solvable.mf_v30_d5_c_t0.5_c0.1_s10.csp ./c=0.1t=0.5/10.solvable.mf_v30_d5_c_t0.5_c0.1_s11.csp ./c=0.1t=0.5/28.solvable.mf_v30_d5_c_t0.5_c0.1_s29.csp ./c=0.1t=0.5/11.solvable.mf_v30_d5_c_t0.5_c0.1_s12.csp ./c=0.1t=0.5/29.solvable.mf_v30_d5_c_t0.5_c0.1_s30.csp ./c=0.1t=0.5/12.solvable.mf_v30_d5_c_t0.5_c0.1_s13.csp ./c=0.1t=0.5/30.solvable.mf_v30_d5_c_t0.5_c0.1_s31.csp ./c=0.1t=0.5/13.solvable.mf_v30_d5_c_t0.5_c0.1_s14.csp ./c=0.1t=0.5/14.solvable.mf_v30_d5_c_t0.5_c0.1_s15.csp ./c=0.1t=0.5/15.solvable.mf_v30_d5_c_t0.5_c0.1_s16.csp ./c=0.1t=0.5/16.solvable.mf_v30_d5_c_t0.5_c0.1_s17.csp ./c=0.1t=0.5/17.solvable.mf_v30_d5_c_t0.5_c0.1_s18.csp ./c=0.1t=0.5/18.solvable.mf_v30_d5_c_t0.5_c0.1_s19.csp ./c=0.1t=0.5/19.solvable.mf_v30_d5_c_t0.5_c0.1_s20.csp ./c=0.1t=0.5/20.solvable.mf_v30_d5_c_t0.5_c0.1_s21.csp ./c=0.1t=0.5/31.solvable.mf_v30_d5_c_t0.5_c0.1_s32.csp ./c=0.1t=0.5/21.solvable.mf_v30_d5_c_t0.5_c0.1_s22.csp ./c=0.1t=0.5/22.solvable.mf_v30_d5_c_t0.5_c0.1_s23.csp ./c=0.1t=0.5/32.solvable.mf_v30_d5_c_t0.5_c0.1_s33.csp ./c=0.1t=0.5/23.solvable.mf_v30_d5_c_t0.5_c0.1_s24.csp ./c=0.1t=0.5/24.solvable.mf_v30_d5_c_t0.5_c0.1_s25.csp ./c=0.1t=0.5/02.solvable.mf_v30_d5_c_t0.5_c0.1_s3.csp ./c=0.2t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.2_s1.csp ./c=0.2t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.2_s2.csp ./c=0.2t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.2_s3.csp ./c=0.2t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.2_s4.csp ./c=0.2t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.2_s5.csp ./c=0.2t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.2_s6.csp ./c=0.2t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.2_s7.csp ./c=0.2t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.2_s8.csp ./c=0.2t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.2_s9.csp ./c=0.2t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.2_s10.csp ./c=0.2t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.2_s11.csp ./c=0.2t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.2_s12.csp ./c=0.2t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.2_s13.csp ./c=0.2t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.2_s14.csp ./c=0.2t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.2_s15.csp ./c=0.2t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.2_s16.csp ./c=0.2t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.2_s17.csp ./c=0.2t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.2_s18.csp ./c=0.2t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.2_s19.csp ./c=0.2t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.2_s20.csp ./c=0.2t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.2_s21.csp ./c=0.2t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.2_s22.csp ./c=0.2t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.2_s23.csp ./c=0.2t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.2_s24.csp ./c=0.2t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.2_s25.csp ./c=0.2t=0.2/00.solvable.mf_v30_d5_c_t0.2_c0.2_s1.csp ./c=0.2t=0.2/01.solvable.mf_v30_d5_c_t0.2_c0.2_s2.csp ./c=0.2t=0.2/02.solvable.mf_v30_d5_c_t0.2_c0.2_s3.csp ./c=0.2t=0.2/03.solvable.mf_v30_d5_c_t0.2_c0.2_s4.csp ./c=0.2t=0.2/04.solvable.mf_v30_d5_c_t0.2_c0.2_s5.csp ./c=0.2t=0.2/05.solvable.mf_v30_d5_c_t0.2_c0.2_s6.csp ./c=0.2t=0.2/06.solvable.mf_v30_d5_c_t0.2_c0.2_s7.csp ./c=0.2t=0.2/07.solvable.mf_v30_d5_c_t0.2_c0.2_s8.csp ./c=0.2t=0.2/08.solvable.mf_v30_d5_c_t0.2_c0.2_s9.csp ./c=0.2t=0.2/09.solvable.mf_v30_d5_c_t0.2_c0.2_s10.csp ./c=0.2t=0.2/10.solvable.mf_v30_d5_c_t0.2_c0.2_s11.csp ./c=0.2t=0.2/11.solvable.mf_v30_d5_c_t0.2_c0.2_s12.csp ./c=0.2t=0.2/12.solvable.mf_v30_d5_c_t0.2_c0.2_s13.csp ./c=0.2t=0.2/13.solvable.mf_v30_d5_c_t0.2_c0.2_s14.csp ./c=0.2t=0.2/14.solvable.mf_v30_d5_c_t0.2_c0.2_s15.csp ./c=0.2t=0.2/15.solvable.mf_v30_d5_c_t0.2_c0.2_s16.csp ./c=0.2t=0.2/16.solvable.mf_v30_d5_c_t0.2_c0.2_s17.csp ./c=0.2t=0.2/17.solvable.mf_v30_d5_c_t0.2_c0.2_s18.csp ./c=0.2t=0.2/18.solvable.mf_v30_d5_c_t0.2_c0.2_s19.csp ./c=0.2t=0.2/19.solvable.mf_v30_d5_c_t0.2_c0.2_s20.csp ./c=0.2t=0.2/20.solvable.mf_v30_d5_c_t0.2_c0.2_s21.csp ./c=0.2t=0.2/21.solvable.mf_v30_d5_c_t0.2_c0.2_s22.csp ./c=0.2t=0.2/22.solvable.mf_v30_d5_c_t0.2_c0.2_s23.csp ./c=0.2t=0.2/23.solvable.mf_v30_d5_c_t0.2_c0.2_s24.csp ./c=0.2t=0.2/24.solvable.mf_v30_d5_c_t0.2_c0.2_s25.csp ./c=0.2t=0.3/00.solvable.mf_v30_d5_c_t0.3_c0.2_s1.csp ./c=0.2t=0.3/01.solvable.mf_v30_d5_c_t0.3_c0.2_s2.csp ./c=0.2t=0.3/02.solvable.mf_v30_d5_c_t0.3_c0.2_s3.csp ./c=0.2t=0.3/03.solvable.mf_v30_d5_c_t0.3_c0.2_s4.csp ./c=0.2t=0.3/04.solvable.mf_v30_d5_c_t0.3_c0.2_s5.csp ./c=0.2t=0.3/05.solvable.mf_v30_d5_c_t0.3_c0.2_s6.csp ./c=0.2t=0.3/06.solvable.mf_v30_d5_c_t0.3_c0.2_s7.csp ./c=0.2t=0.3/07.solvable.mf_v30_d5_c_t0.3_c0.2_s8.csp ./c=0.2t=0.3/08.solvable.mf_v30_d5_c_t0.3_c0.2_s9.csp ./c=0.2t=0.3/09.solvable.mf_v30_d5_c_t0.3_c0.2_s10.csp ./c=0.2t=0.3/10.solvable.mf_v30_d5_c_t0.3_c0.2_s11.csp ./c=0.2t=0.3/11.solvable.mf_v30_d5_c_t0.3_c0.2_s12.csp ./c=0.2t=0.3/12.solvable.mf_v30_d5_c_t0.3_c0.2_s13.csp ./c=0.2t=0.3/13.solvable.mf_v30_d5_c_t0.3_c0.2_s14.csp ./c=0.2t=0.3/14.solvable.mf_v30_d5_c_t0.3_c0.2_s15.csp ./c=0.2t=0.3/15.solvable.mf_v30_d5_c_t0.3_c0.2_s16.csp ./c=0.2t=0.3/16.solvable.mf_v30_d5_c_t0.3_c0.2_s17.csp ./c=0.2t=0.3/17.solvable.mf_v30_d5_c_t0.3_c0.2_s18.csp ./c=0.2t=0.3/18.solvable.mf_v30_d5_c_t0.3_c0.2_s19.csp ./c=0.2t=0.3/19.solvable.mf_v30_d5_c_t0.3_c0.2_s20.csp ./c=0.2t=0.3/20.solvable.mf_v30_d5_c_t0.3_c0.2_s21.csp ./c=0.2t=0.3/21.solvable.mf_v30_d5_c_t0.3_c0.2_s22.csp ./c=0.2t=0.3/22.solvable.mf_v30_d5_c_t0.3_c0.2_s23.csp ./c=0.2t=0.3/23.solvable.mf_v30_d5_c_t0.3_c0.2_s24.csp ./c=0.2t=0.3/24.solvable.mf_v30_d5_c_t0.3_c0.2_s25.csp ./c=0.2t=0.4/25.solvable.mf_v30_d5_c_t0.4_c0.2_s26.csp ./c=0.2t=0.4/01.solvable.mf_v30_d5_c_t0.4_c0.2_s2.csp ./c=0.2t=0.4/26.solvable.mf_v30_d5_c_t0.4_c0.2_s27.csp ./c=0.2t=0.4/27.solvable.mf_v30_d5_c_t0.4_c0.2_s28.csp ./c=0.2t=0.4/28.solvable.mf_v30_d5_c_t0.4_c0.2_s29.csp ./c=0.2t=0.4/29.solvable.mf_v30_d5_c_t0.4_c0.2_s30.csp ./c=0.2t=0.4/30.solvable.mf_v30_d5_c_t0.4_c0.2_s31.csp ./c=0.2t=0.4/31.solvable.mf_v30_d5_c_t0.4_c0.2_s32.csp ./c=0.2t=0.4/32.solvable.mf_v30_d5_c_t0.4_c0.2_s33.csp ./c=0.2t=0.4/09.solvable.mf_v30_d5_c_t0.4_c0.2_s10.csp ./c=0.2t=0.4/33.solvable.mf_v30_d5_c_t0.4_c0.2_s34.csp ./c=0.2t=0.4/34.solvable.mf_v30_d5_c_t0.4_c0.2_s35.csp ./c=0.2t=0.4/35.solvable.mf_v30_d5_c_t0.4_c0.2_s36.csp ./c=0.2t=0.4/36.solvable.mf_v30_d5_c_t0.4_c0.2_s37.csp ./c=0.2t=0.4/37.solvable.mf_v30_d5_c_t0.4_c0.2_s38.csp ./c=0.2t=0.4/38.solvable.mf_v30_d5_c_t0.4_c0.2_s39.csp ./c=0.2t=0.4/39.solvable.mf_v30_d5_c_t0.4_c0.2_s40.csp ./c=0.2t=0.4/40.solvable.mf_v30_d5_c_t0.4_c0.2_s41.csp ./c=0.2t=0.4/41.solvable.mf_v30_d5_c_t0.4_c0.2_s42.csp ./c=0.2t=0.4/42.solvable.mf_v30_d5_c_t0.4_c0.2_s43.csp ./c=0.2t=0.4/43.solvable.mf_v30_d5_c_t0.4_c0.2_s44.csp ./c=0.2t=0.4/44.solvable.mf_v30_d5_c_t0.4_c0.2_s45.csp ./c=0.2t=0.4/45.solvable.mf_v30_d5_c_t0.4_c0.2_s46.csp ./c=0.2t=0.4/46.solvable.mf_v30_d5_c_t0.4_c0.2_s47.csp ./c=0.2t=0.4/47.solvable.mf_v30_d5_c_t0.4_c0.2_s48.csp ./c=0.3t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.3_s1.csp ./c=0.3t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.3_s2.csp ./c=0.3t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.3_s3.csp ./c=0.3t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.3_s4.csp ./c=0.3t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.3_s5.csp ./c=0.3t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.3_s6.csp ./c=0.3t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.3_s7.csp ./c=0.3t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.3_s8.csp ./c=0.3t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.3_s9.csp ./c=0.3t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.3_s10.csp ./c=0.3t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.3_s11.csp ./c=0.3t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.3_s12.csp ./c=0.3t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.3_s13.csp ./c=0.3t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.3_s14.csp ./c=0.3t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.3_s15.csp ./c=0.3t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.3_s16.csp ./c=0.3t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.3_s17.csp ./c=0.3t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.3_s18.csp ./c=0.3t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.3_s19.csp ./c=0.3t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.3_s20.csp ./c=0.3t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.3_s21.csp ./c=0.3t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.3_s22.csp ./c=0.3t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.3_s23.csp ./c=0.3t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.3_s24.csp ./c=0.3t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.3_s25.csp ./c=0.3t=0.2/00.solvable.mf_v30_d5_c_t0.2_c0.3_s1.csp ./c=0.3t=0.2/01.solvable.mf_v30_d5_c_t0.2_c0.3_s2.csp ./c=0.3t=0.2/02.solvable.mf_v30_d5_c_t0.2_c0.3_s3.csp ./c=0.3t=0.2/03.solvable.mf_v30_d5_c_t0.2_c0.3_s4.csp ./c=0.3t=0.2/04.solvable.mf_v30_d5_c_t0.2_c0.3_s5.csp ./c=0.3t=0.2/05.solvable.mf_v30_d5_c_t0.2_c0.3_s6.csp ./c=0.3t=0.2/06.solvable.mf_v30_d5_c_t0.2_c0.3_s7.csp ./c=0.3t=0.2/07.solvable.mf_v30_d5_c_t0.2_c0.3_s8.csp ./c=0.3t=0.2/08.solvable.mf_v30_d5_c_t0.2_c0.3_s9.csp ./c=0.3t=0.2/09.solvable.mf_v30_d5_c_t0.2_c0.3_s10.csp ./c=0.3t=0.2/10.solvable.mf_v30_d5_c_t0.2_c0.3_s11.csp ./c=0.3t=0.2/11.solvable.mf_v30_d5_c_t0.2_c0.3_s12.csp ./c=0.3t=0.2/12.solvable.mf_v30_d5_c_t0.2_c0.3_s13.csp ./c=0.3t=0.2/13.solvable.mf_v30_d5_c_t0.2_c0.3_s14.csp ./c=0.3t=0.2/14.solvable.mf_v30_d5_c_t0.2_c0.3_s15.csp ./c=0.3t=0.2/15.solvable.mf_v30_d5_c_t0.2_c0.3_s16.csp ./c=0.3t=0.2/16.solvable.mf_v30_d5_c_t0.2_c0.3_s17.csp ./c=0.3t=0.2/17.solvable.mf_v30_d5_c_t0.2_c0.3_s18.csp ./c=0.3t=0.2/18.solvable.mf_v30_d5_c_t0.2_c0.3_s19.csp ./c=0.3t=0.2/19.solvable.mf_v30_d5_c_t0.2_c0.3_s20.csp ./c=0.3t=0.2/20.solvable.mf_v30_d5_c_t0.2_c0.3_s21.csp ./c=0.3t=0.2/21.solvable.mf_v30_d5_c_t0.2_c0.3_s22.csp ./c=0.3t=0.2/22.solvable.mf_v30_d5_c_t0.2_c0.3_s23.csp ./c=0.3t=0.2/23.solvable.mf_v30_d5_c_t0.2_c0.3_s24.csp ./c=0.3t=0.2/24.solvable.mf_v30_d5_c_t0.2_c0.3_s25.csp ./c=0.4t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.4_s1.csp ./c=0.4t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.4_s2.csp ./c=0.4t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.4_s3.csp ./c=0.4t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.4_s4.csp ./c=0.4t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.4_s5.csp ./c=0.4t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.4_s6.csp ./c=0.4t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.4_s7.csp ./c=0.4t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.4_s8.csp ./c=0.4t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.4_s9.csp ./c=0.4t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.4_s10.csp ./c=0.4t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.4_s11.csp ./c=0.4t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.4_s12.csp ./c=0.4t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.4_s13.csp ./c=0.4t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.4_s14.csp ./c=0.4t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.4_s15.csp ./c=0.4t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.4_s16.csp ./c=0.4t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.4_s17.csp ./c=0.4t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.4_s18.csp ./c=0.4t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.4_s19.csp ./c=0.4t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.4_s20.csp ./c=0.4t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.4_s21.csp ./c=0.4t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.4_s22.csp ./c=0.4t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.4_s23.csp ./c=0.4t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.4_s24.csp ./c=0.4t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.4_s25.csp ./c=0.4t=0.2/00.solvable.mf_v30_d5_c_t0.2_c0.4_s1.csp ./c=0.4t=0.2/01.solvable.mf_v30_d5_c_t0.2_c0.4_s2.csp ./c=0.4t=0.2/02.solvable.mf_v30_d5_c_t0.2_c0.4_s3.csp ./c=0.4t=0.2/03.solvable.mf_v30_d5_c_t0.2_c0.4_s4.csp ./c=0.4t=0.2/04.solvable.mf_v30_d5_c_t0.2_c0.4_s5.csp ./c=0.4t=0.2/05.solvable.mf_v30_d5_c_t0.2_c0.4_s6.csp ./c=0.4t=0.2/06.solvable.mf_v30_d5_c_t0.2_c0.4_s7.csp ./c=0.4t=0.2/07.solvable.mf_v30_d5_c_t0.2_c0.4_s8.csp ./c=0.4t=0.2/08.solvable.mf_v30_d5_c_t0.2_c0.4_s9.csp ./c=0.4t=0.2/09.solvable.mf_v30_d5_c_t0.2_c0.4_s10.csp ./c=0.4t=0.2/10.solvable.mf_v30_d5_c_t0.2_c0.4_s11.csp ./c=0.4t=0.2/11.solvable.mf_v30_d5_c_t0.2_c0.4_s12.csp ./c=0.4t=0.2/12.solvable.mf_v30_d5_c_t0.2_c0.4_s13.csp ./c=0.4t=0.2/13.solvable.mf_v30_d5_c_t0.2_c0.4_s14.csp ./c=0.4t=0.2/14.solvable.mf_v30_d5_c_t0.2_c0.4_s15.csp ./c=0.4t=0.2/15.solvable.mf_v30_d5_c_t0.2_c0.4_s16.csp ./c=0.4t=0.2/16.solvable.mf_v30_d5_c_t0.2_c0.4_s17.csp ./c=0.4t=0.2/17.solvable.mf_v30_d5_c_t0.2_c0.4_s18.csp ./c=0.4t=0.2/18.solvable.mf_v30_d5_c_t0.2_c0.4_s19.csp ./c=0.4t=0.2/19.solvable.mf_v30_d5_c_t0.2_c0.4_s20.csp ./c=0.4t=0.2/20.solvable.mf_v30_d5_c_t0.2_c0.4_s21.csp ./c=0.4t=0.2/21.solvable.mf_v30_d5_c_t0.2_c0.4_s22.csp ./c=0.4t=0.2/22.solvable.mf_v30_d5_c_t0.2_c0.4_s23.csp ./c=0.4t=0.2/23.solvable.mf_v30_d5_c_t0.2_c0.4_s24.csp ./c=0.4t=0.2/24.solvable.mf_v30_d5_c_t0.2_c0.4_s25.csp ./c=0.5t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.5_s1.csp ./c=0.5t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.5_s2.csp ./c=0.5t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.5_s3.csp ./c=0.5t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.5_s4.csp ./c=0.5t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.5_s5.csp ./c=0.5t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.5_s6.csp ./c=0.5t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.5_s7.csp ./c=0.5t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.5_s8.csp ./c=0.5t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.5_s9.csp ./c=0.5t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.5_s10.csp ./c=0.5t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.5_s11.csp ./c=0.5t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.5_s12.csp ./c=0.5t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.5_s13.csp ./c=0.5t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.5_s14.csp ./c=0.5t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.5_s15.csp ./c=0.5t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.5_s16.csp ./c=0.5t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.5_s17.csp ./c=0.5t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.5_s18.csp ./c=0.5t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.5_s19.csp ./c=0.5t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.5_s20.csp ./c=0.5t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.5_s21.csp ./c=0.5t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.5_s22.csp ./c=0.5t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.5_s23.csp ./c=0.5t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.5_s24.csp ./c=0.5t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.5_s25.csp ./c=0.5t=0.2/25.solvable.mf_v30_d5_c_t0.2_c0.5_s26.csp ./c=0.5t=0.2/01.solvable.mf_v30_d5_c_t0.2_c0.5_s2.csp ./c=0.5t=0.2/26.solvable.mf_v30_d5_c_t0.2_c0.5_s27.csp ./c=0.5t=0.2/27.solvable.mf_v30_d5_c_t0.2_c0.5_s28.csp ./c=0.5t=0.2/28.solvable.mf_v30_d5_c_t0.2_c0.5_s29.csp ./c=0.5t=0.2/29.solvable.mf_v30_d5_c_t0.2_c0.5_s30.csp ./c=0.5t=0.2/30.solvable.mf_v30_d5_c_t0.2_c0.5_s31.csp ./c=0.5t=0.2/31.solvable.mf_v30_d5_c_t0.2_c0.5_s32.csp ./c=0.5t=0.2/32.solvable.mf_v30_d5_c_t0.2_c0.5_s33.csp ./c=0.5t=0.2/33.solvable.mf_v30_d5_c_t0.2_c0.5_s34.csp ./c=0.5t=0.2/34.solvable.mf_v30_d5_c_t0.2_c0.5_s35.csp ./c=0.5t=0.2/35.solvable.mf_v30_d5_c_t0.2_c0.5_s36.csp ./c=0.5t=0.2/36.solvable.mf_v30_d5_c_t0.2_c0.5_s37.csp ./c=0.5t=0.2/37.solvable.mf_v30_d5_c_t0.2_c0.5_s38.csp ./c=0.5t=0.2/38.solvable.mf_v30_d5_c_t0.2_c0.5_s39.csp ./c=0.5t=0.2/39.solvable.mf_v30_d5_c_t0.2_c0.5_s40.csp ./c=0.5t=0.2/40.solvable.mf_v30_d5_c_t0.2_c0.5_s41.csp ./c=0.5t=0.2/41.solvable.mf_v30_d5_c_t0.2_c0.5_s42.csp ./c=0.5t=0.2/42.solvable.mf_v30_d5_c_t0.2_c0.5_s43.csp ./c=0.5t=0.2/43.solvable.mf_v30_d5_c_t0.2_c0.5_s44.csp ./c=0.5t=0.2/44.solvable.mf_v30_d5_c_t0.2_c0.5_s45.csp ./c=0.5t=0.2/45.solvable.mf_v30_d5_c_t0.2_c0.5_s46.csp ./c=0.5t=0.2/46.solvable.mf_v30_d5_c_t0.2_c0.5_s47.csp ./c=0.5t=0.2/47.solvable.mf_v30_d5_c_t0.2_c0.5_s48.csp ./c=0.5t=0.2/48.solvable.mf_v30_d5_c_t0.2_c0.5_s49.csp ./c=0.6t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.6_s1.csp ./c=0.6t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.6_s2.csp ./c=0.6t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.6_s3.csp ./c=0.6t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.6_s4.csp ./c=0.6t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.6_s5.csp ./c=0.6t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.6_s6.csp ./c=0.6t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.6_s7.csp ./c=0.6t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.6_s8.csp ./c=0.6t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.6_s9.csp ./c=0.6t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.6_s10.csp ./c=0.6t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.6_s11.csp ./c=0.6t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.6_s12.csp ./c=0.6t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.6_s13.csp ./c=0.6t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.6_s14.csp ./c=0.6t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.6_s15.csp ./c=0.6t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.6_s16.csp ./c=0.6t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.6_s17.csp ./c=0.6t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.6_s18.csp ./c=0.6t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.6_s19.csp ./c=0.6t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.6_s20.csp ./c=0.6t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.6_s21.csp ./c=0.6t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.6_s22.csp ./c=0.6t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.6_s23.csp ./c=0.6t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.6_s24.csp ./c=0.6t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.6_s25.csp ./c=0.7t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.7_s1.csp ./c=0.7t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.7_s2.csp ./c=0.7t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.7_s3.csp ./c=0.7t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.7_s4.csp ./c=0.7t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.7_s5.csp ./c=0.7t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.7_s6.csp ./c=0.7t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.7_s7.csp ./c=0.7t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.7_s8.csp ./c=0.7t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.7_s9.csp ./c=0.7t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.7_s10.csp ./c=0.7t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.7_s11.csp ./c=0.7t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.7_s12.csp ./c=0.7t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.7_s13.csp ./c=0.7t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.7_s14.csp ./c=0.7t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.7_s15.csp ./c=0.7t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.7_s16.csp ./c=0.7t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.7_s17.csp ./c=0.7t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.7_s18.csp ./c=0.7t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.7_s19.csp ./c=0.7t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.7_s20.csp ./c=0.7t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.7_s21.csp ./c=0.7t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.7_s22.csp ./c=0.7t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.7_s23.csp ./c=0.7t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.7_s24.csp ./c=0.7t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.7_s25.csp ./c=0.8t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.8_s1.csp ./c=0.8t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.8_s2.csp ./c=0.8t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.8_s3.csp ./c=0.8t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.8_s4.csp ./c=0.8t=0.1/04.solvable.mf_v30_d5_c_t0.1_c0.8_s5.csp ./c=0.8t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.8_s6.csp ./c=0.8t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.8_s7.csp ./c=0.8t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.8_s8.csp ./c=0.8t=0.1/08.solvable.mf_v30_d5_c_t0.1_c0.8_s9.csp ./c=0.8t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.8_s10.csp ./c=0.8t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.8_s11.csp ./c=0.8t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.8_s12.csp ./c=0.8t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.8_s13.csp ./c=0.8t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.8_s14.csp ./c=0.8t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.8_s15.csp ./c=0.8t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.8_s16.csp ./c=0.8t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.8_s17.csp ./c=0.8t=0.1/17.solvable.mf_v30_d5_c_t0.1_c0.8_s18.csp ./c=0.8t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.8_s19.csp ./c=0.8t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.8_s20.csp ./c=0.8t=0.1/20.solvable.mf_v30_d5_c_t0.1_c0.8_s21.csp ./c=0.8t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.8_s22.csp ./c=0.8t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.8_s23.csp ./c=0.8t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.8_s24.csp ./c=0.8t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.8_s25.csp ./c=0.9t=0.1/00.solvable.mf_v30_d5_c_t0.1_c0.9_s1.csp ./c=0.9t=0.1/01.solvable.mf_v30_d5_c_t0.1_c0.9_s2.csp ./c=0.9t=0.1/02.solvable.mf_v30_d5_c_t0.1_c0.9_s3.csp ./c=0.9t=0.1/03.solvable.mf_v30_d5_c_t0.1_c0.9_s4.csp ./c=0.9t=0.1/25.solvable.mf_v30_d5_c_t0.1_c0.9_s26.csp ./c=0.9t=0.1/05.solvable.mf_v30_d5_c_t0.1_c0.9_s6.csp ./c=0.9t=0.1/06.solvable.mf_v30_d5_c_t0.1_c0.9_s7.csp ./c=0.9t=0.1/07.solvable.mf_v30_d5_c_t0.1_c0.9_s8.csp ./c=0.9t=0.1/26.solvable.mf_v30_d5_c_t0.1_c0.9_s27.csp ./c=0.9t=0.1/09.solvable.mf_v30_d5_c_t0.1_c0.9_s10.csp ./c=0.9t=0.1/10.solvable.mf_v30_d5_c_t0.1_c0.9_s11.csp ./c=0.9t=0.1/11.solvable.mf_v30_d5_c_t0.1_c0.9_s12.csp ./c=0.9t=0.1/12.solvable.mf_v30_d5_c_t0.1_c0.9_s13.csp ./c=0.9t=0.1/13.solvable.mf_v30_d5_c_t0.1_c0.9_s14.csp ./c=0.9t=0.1/14.solvable.mf_v30_d5_c_t0.1_c0.9_s15.csp ./c=0.9t=0.1/15.solvable.mf_v30_d5_c_t0.1_c0.9_s16.csp ./c=0.9t=0.1/16.solvable.mf_v30_d5_c_t0.1_c0.9_s17.csp ./c=0.9t=0.1/27.solvable.mf_v30_d5_c_t0.1_c0.9_s28.csp ./c=0.9t=0.1/18.solvable.mf_v30_d5_c_t0.1_c0.9_s19.csp ./c=0.9t=0.1/19.solvable.mf_v30_d5_c_t0.1_c0.9_s20.csp ./c=0.9t=0.1/28.solvable.mf_v30_d5_c_t0.1_c0.9_s29.csp ./c=0.9t=0.1/21.solvable.mf_v30_d5_c_t0.1_c0.9_s22.csp ./c=0.9t=0.1/22.solvable.mf_v30_d5_c_t0.1_c0.9_s23.csp ./c=0.9t=0.1/23.solvable.mf_v30_d5_c_t0.1_c0.9_s24.csp ./c=0.9t=0.1/24.solvable.mf_v30_d5_c_t0.1_c0.9_s25.csp