19.35/20.63	unsat
