106.76/107.30	unsat
