Limiting BVA to 5000 vars/call
No need to give precise template init in case value is given
Merge branch 'master' of github.com:msoos/cryptominisat