Started oblig3, made a basic solver and started writing some rough notes