103.58/106.09	unsat
