diff --git a/src/sat/kissat/VERSION b/src/sat/kissat/VERSION
new file mode 100644
index 000000000..4d54daddb
--- /dev/null
+++ b/src/sat/kissat/VERSION
@@ -0,0 +1 @@
+4.0.2