Boolean Satisfiability via Imitation Learning