17.43/19.75	unsat
