105.95/106.22	unsat
