106.14/107.73	unsat
