minisat: use std::sort