Stubbed out kSAT eval document