107.42/109.05	unsat
