open Syntax;; open Clauses;; val find_best : int list -> clause list -> character;;