106.99/107.20	unsat
