diff --git a/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java b/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java
index b898df6f..e220ebd9 100644
--- a/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java
+++ b/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java
@@ -15,7 +15,7 @@
 public class SharpSatConfiguration {
 
   public static final ProblemType<String, Integer> SHARPSAT = new ProblemType<>(
-      "sharpSat",
+      "sharpsat",
       String.class,
       Integer.class,
       null
diff --git a/src/main/resources/edu/kit/provideq/toolbox/sharpsat/simple-and.txt b/src/main/resources/edu/kit/provideq/toolbox/sharpsat/simple-and.txt
new file mode 100644
index 00000000..9832407e
--- /dev/null
+++ b/src/main/resources/edu/kit/provideq/toolbox/sharpsat/simple-and.txt
@@ -0,0 +1 @@
+a and b
\ No newline at end of file