17.66/17.75	unsat
