107.94/108.22	unsat
