105.37/109.06	unsat
