.*o
.*a
minisat-*
