107.39/107.50	unsat
