101.97/103.84	unsat
