modif readme
test minisat