106.73/106.98	unsat
