106.70/106.95	unsat
