17.74/19.64	unsat
