107.60/109.46	unsat
