110.68/112.22	unsat
