Update sat.hxx call to boost::strong_components

Change boost call to compile under MSVC
(recommended fix for this bug: https://svn.boost.org/trac/boost/ticket/6647)
Merge pull request #241 from yanlend/patch-1

Update sat.hxx call to boost::strong_components