50 first CNFs will be used