diff --git a/main.c b/main.c
index cf4647c..9b3e030 100644
--- a/main.c
+++ b/main.c
@@ -5,8 +5,6 @@
 #include "tests/masterTest.h"
 
 int main() {
-    runuf20();
-    return 0;
     /*
     srand( utime());
     u32 cnt = 4096;
@@ -28,6 +26,8 @@ int main() {
 
     }
      */
+
+    /* Expects a path to a DIMACS file */
     cnf* c = readDIMACS("/home/lev/Downloads/uf50/uf50-088.cnf");
     // printf("%u\n", c->litcnt);