diff --git a/benchmarks/97-slplugin/01.smt2 b/benchmarks/97-slplugin/01.smt2
index 12ac3cd..abce485 100644
--- a/benchmarks/97-slplugin/01.smt2
+++ b/benchmarks/97-slplugin/01.smt2
@@ -1,5 +1,5 @@
 (set-logic QF_ALL)
-(set-option :status unknown)
+(set-option :status sat)
 
 (declare-sort LS_t 0)
 (declare-heap (LS_t LS_t))