Added conclusions
Added acknowledgements
Removed slovak package
Added Vultures in Pyrenees
Added SAT in linear time