update documentation: satisfiable/1 is now deterministic
additional test case for custom floor/1 implementation