19.55/20.83	unsat
