110.72/112.04	unsat
