Add problem statement and instances