testing stuff in lab solver