106.60/107.09	unsat
