/academic/cryptominisat/