sci-mathematics/minisat|2|f798d9d9058f05291baa7906929999b39376e4d7|377901|370K|sci@gentoo.org