105.88/110.80	unsat
