No solves yet in this session.