+Unsatisfiable/COL023-1.ma
+Unsatisfiable/COL027-1.ma
+Unsatisfiable/COL052-1.ma
+Unsatisfiable/COL059-1.ma
+Unsatisfiable/GRP195-1.ma
+Unsatisfiable/GRP406-1.ma
+Unsatisfiable/GRP407-1.ma
+Unsatisfiable/GRP408-1.ma
+Unsatisfiable/GRP415-1.ma
+Unsatisfiable/LAT010-1.ma
+Unsatisfiable/LAT019-1.ma
+Unsatisfiable/LAT021-1.ma
+Unsatisfiable/LCL162-1.ma