let
check_sat s =
Some
(s)