I'm starting work on some fictional star systems, and I want to create a planet that has lava oceans. I found an excel spreadsheet a while back that does calculations for stars and planets, and based on the information I have from it, the star has a classification of K1.1V, with a surface temperature of just over 5,000K. Orbiting with a semi-major axis of about 13.7 million km and an eccentricity of about .38, the spreadsheet gives me average surface temperature of 699K, with the periapsis temperature being 822K and the apoapsis temperature at 600K. The planet has a radius of 1,472 km, a mass of about 8.54311x10^22 kg, and no atmosphere of any significance.
Given those parameters, I'm wondering what sort of crust composition would allow for a surface on the daylight side that would be mostly solid but have lava oceans. Obviously, I'm looking for different substances for the solid ground and the lava seas. The calculations I have don't give me different temperatures for the day and night side, so if that information is needed, I'm not really sure how to calculate it.