./minisat changed