19.05/20.87	unsat
