106.62/109.13	unsat
