Group session next week cancelled

The group session on Monday 25. of November is cancelled.

There will probably be a session sometime in the beginning of December instead for the SAT-solver competition.