103.68/103.76	unsat
