108.86/110.35	unsat
