On May 24, 2017, at 4:25 AM, Andrew Makhorin <address@hidden> wrote:glpsol --minisat -m pbn.mod -d disney.dat