Added PS5: Problems 1, 2, and most of 4

still needs check-expects