107.22/111.07	unsat
