10.47/10.75	unsat
