107.19/108.82	unsat
