21.44/21.52	unsat
