107.88/112.29	unsat
