A seating plan solver according guest mutual interest using minisat