19.70/21.87	unsat
