110.87/112.32	unsat
