19.74/20.87	unsat
