103.95/106.75	unsat
