106.15/106.52	unsat
