19.36/20.55	unsat
