19.15/21.52	unsat
