Title: Science with Minisat 01