fixed Coalition and added core() method\! core() doesn't work for multiple solutions but seems to work for a unique or empty core