One-Shot Learning for k-SAT