19.28/20.51	unsat
