[3sat] Add support (Fixes #1001)