19.36/20.51	unsat
