HomeIsabelle/Phabricator

use timeout with MiniSat