106.48/108.63	unsat
