106.67/106.75	unsat
