106.99/107.23	unsat
