19.35/21.79	unsat
