違約金っていくらだったのかな?