17.64/17.75	unsat
