One-Shot Learning for k-SAT

Re-assign community