let
single_sat g =
Printf
.printf
"# Result: Single satisfying assignment found\n"
;
replace_context g