106.55/107.18	unsat
