Add buildrequirement for libsatsolver