Playing SatFinder (MGE) - Maciej Grzegorczyk