10.66/10.75	unsat
