103.73/106.77	unsat
