106.66/108.57	unsat
