105.72/108.82	unsat
