* minisat from SAT 2013