18.74/19.87	unsat
