106.10/106.30	unsat
