109.69/110.27	unsat
