solver checked in and compiles