Initial import (first two solved problems)