106.44/110.31	unsat
