106.83/108.39	unsat
