diff --git a/MAKEFILE b/MAKEFILE
index ffe193f..f4fbd67 100644
--- a/MAKEFILE
+++ b/MAKEFILE
@@ -2,7 +2,7 @@
 TARGETS = pmll arc_agi_benchmark pmll_np_solver sat_test
 
 # SAT Test target
-sat_test: SAT_Compare.o Pmll_NP_Solver.o MiniSAT.o generate_3sat_instance.o SAT_Solver.o
+sat_test: SAT_Compare.o Pmll_NP_Solver.o MiniSAT.o generate_3sat_instance.o SAT_Solver.o 3_sat_log.o
 	$(CC) $(CFLAGS) $(LDFLAGS) $(INCLUDES) -o $@ $^
 
 # Compile SAT_Compare.o from SAT_Compare.c
@@ -25,6 +25,10 @@ SAT_Solver.o: SAT_Solver.c SAT_Solver.h
 generate_3sat_instance.o: 3-SAT.c SAT_Solver.h
 	$(CC) $(CFLAGS) $(INCLUDES) -c $<
 
+# Compile 3_sat_log.o from 3_sat_log.c (logging results)
+3_sat_log.o: 3_sat_log.c SAT_Solver.h Pmll_NP_Solver.h MiniSAT.h
+	$(CC) $(CFLAGS) $(INCLUDES) -c $<
+
 # Existing targets
 pmll: unified_voice.o pml_logic_loop.o memory_silo.o io_socket.o persistence.o main.o
 	$(CC) $(CFLAGS) $(LDFLAGS) $(INCLUDES) -o $@ $^