OTP server which solves 3-sat problems