108.93/112.10	unsat
