106.89/106.94	unsat
