107.40/112.30	unsat
