110.47/110.75	unsat
