f = put_file(a.ys)
q = allsat(f, Answers)
query_wait(q)
