108.15/109.92	unsat
