LogIA - CDCL SatSolver