109.83/110.15	unsat
