106.64/106.93	unsat
