MaurySAT - varie